@Misc{MOVE_LANG,
  author = {Sam Blackshear and Evan Cheng and David L. Dill and Victor Gao and
                  Ben Maurer and Todd Nowacki and Alistair Pott and Shaz Qadeer
                  and Rain and Dario Russi and Stephane Sezer and Tim Zakian and
                  Runtian Zho},
  title = {{Move: A Language With Programmable Resources}},
  institution = {},
  year = {2019},
  url = {https://developers.libra.org/docs/move-paper}
}

@InProceedings{MOVE_PROVER,
  author =	 "Zhong, Jingyi Emma and Cheang, Kevin and Qadeer, Shaz and
                  Grieskamp, Wolfgang and Blackshear, Sam and Park, Junkil and
                  Zohar, Yoni and Barrett, Clark and Dill, David L.",
  editor = "Lahiri, Shuvendu K.  and Wang, Chao",
  title = {{The Move Prover}},
  booktitle="Computer Aided Verification",
  year="2020",
  publisher="Springer International Publishing",
  pages="137--150",
}

@Misc{DIEM_FRAMEWORK,
  author = 	 {{The Diem Association}},
  title = 	 {{The Diem Framework}},
  year = 	 {2020},
  url = {https://github.com/libra/libra/tree/master/language/stdlib}
}

@Misc{DIEM,
  author = 	 {{The Diem Association}},
  title = 	 {{An Introduction to Diem}},
  url = {https://libra.org/en-US/white-paper/},
  year = 	 {2019},
}

@INPROCEEDINGS{LINEAR_TYPES,
    author = {Philip Wadler},
    title = {Linear Types Can Change the World!},
    booktitle = {PROGRAMMING CONCEPTS AND METHODS},
    year = {1990},
    publisher = {North}
}

@incollection{BORROW_SEM,
  author    = {Dave Clarke and
               Johan {\"{O}}stlund and
               Ilya Sergey and
               Tobias Wrigstad},
  editor    = {Dave Clarke and
               James Noble and
               Tobias Wrigstad},
  title     = {Ownership Types: {A} Survey},
  booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series    = {Lecture Notes in Computer Science},
  volume    = {7850},
  pages     = {15--58},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36946-9\_3},
  doi       = {10.1007/978-3-642-36946-9\_3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/series/lncs/ClarkeOSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@Misc{BORROW_CHECKER,
  author = 	 {Sam Blackshear and Todd Nowacki and Shaz Qadeer and John Mitchell},
  title = 	 {The Move Borrow Checker},
  url = {TBD},
  year = 	 {2021},
}

@article{RUST_TYPES,
  author    = {Aaron Weiss and
               Daniel Patterson and
               Nicholas D. Matsakis and
               Amal Ahmed},
  title     = {Oxide: The Essence of Rust},
  journal   = {CoRR},
  volume    = {abs/1903.00982},
  year      = {2019},
  url       = {http://arxiv.org/abs/1903.00982},
  archivePrefix = {arXiv},
  eprint    = {1903.00982},
  timestamp = {Sat, 30 Mar 2019 19:27:21 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1903-00982.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{RUST_SECURE,
author = {Jung, Ralf and Jourdan, Jacques-Henri and Krebbers, Robbert and Dreyer, Derek},
title = {RustBelt: Securing the Foundations of the Rust Programming Language},
year = {2017},
issue_date = {January 2018},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {2},
number = {POPL},
url = {https://doi.org/10.1145/3158154},
doi = {10.1145/3158154},
journal = {Proc. ACM Program. Lang.},
month = dec,
articleno = {66},
numpages = {34},
keywords = {logical relations, separation logic, type systems, Rust, concurrency}
}

@article{DESIGN_BY_CONTRACT,
author = {Meyer, Bertrand},
title = {Applying "Design by Contract"},
year = {1992},
issue_date = {October 1992},
publisher = {IEEE Computer Society Press},
address = {Washington, DC, USA},
volume = {25},
number = {10},
issn = {0018-9162},
url = {https://doi.org/10.1109/2.161279},
doi = {10.1109/2.161279},
journal = {Computer},
month = oct,
pages = {40–51},
numpages = {12}
}

@Misc{MOVE_LANG_DEF,
  author = 	 {{The Move Team}},
  title = 	 {{The Move Language Definition}},
  year = 	 {2020},
  url = {TBD},
}

@Misc{MOVE_SPEC_LANG_DEF,
  author = 	 {{The Move Team}},
  title = 	 {{The Move Specification Language}},
  year = 	 {2020},
  url = {TBD},
}

@Misc{BOOGIE,
   author = {{The Boogie Team}},
   title = {{Boogie Intermediate Verification Language}},
   url = {https://github.com/boogie-org/boogie}
}

@Misc{Z3,
   author = {{The Z3 Team}},
   title = {{Z3 Prover}},
   url = {https://github.com/Z3Prover/z3}
}

@Misc{CVC,
   author = {{The CVC Team}},
   title = {{CVC5}},
   url = {https://github.com/cvc5/cvc5}
}


@Misc{RUST,
   author = {{Steve Klabnik and Carol Nichols}},
   title = {{The Rust Programming Language}},
   url = {https://doc.rust-lang.org/book/}
}
